Artifact for the paper "Taming Large Bounds in Synthesis from Bounded-Liveness Specifications" for the artifact evaluation of TACAS 2023
This artifact includes an implementation of the novel method for synthesis of probabilistic systems ...
Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
This artifact contains the benchmarks and scripts needed to reproduce the experiments in the paper "...
This is the artifact of the paper [2103.04188] Synthesis with Asymptotic Resource Bounds (arxiv.org)...
This is the source code for the experiments in our paper "Model-Bounded Monitoring of Hybrid Systems...
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
This is the artifact for the paper "ZDD Boolean Synthesis" submitted to TACAS 2022
This artifact allows the AEC to evaluate and reproduce the experiments for the corresponding paper ...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural St...
We provide an artifact of the tool called StocHy. This serves as an accompaniment to the tool paper...
Artifact supplement for [1] Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Kat...
The artifact for the paper "Exploiting the Sparseness of Control-flow and Call Graphs for Efficient ...
This artifact includes an implementation of the novel method for synthesis of probabilistic systems ...
Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
This artifact contains the benchmarks and scripts needed to reproduce the experiments in the paper "...
This is the artifact of the paper [2103.04188] Synthesis with Asymptotic Resource Bounds (arxiv.org)...
This is the source code for the experiments in our paper "Model-Bounded Monitoring of Hybrid Systems...
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
This is the artifact for the paper "ZDD Boolean Synthesis" submitted to TACAS 2022
This artifact allows the AEC to evaluate and reproduce the experiments for the corresponding paper ...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
This artifact is concerned with Section 6 (Scalability) of the Paper "PhASAR: An Inter-Procedural St...
We provide an artifact of the tool called StocHy. This serves as an accompaniment to the tool paper...
Artifact supplement for [1] Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Kat...
The artifact for the paper "Exploiting the Sparseness of Control-flow and Call Graphs for Efficient ...
This artifact includes an implementation of the novel method for synthesis of probabilistic systems ...
Artifacts for "Trace-Guided Inductive Synthesis of Recursive Functional Programs
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
DOI
Add to ORKG